4,220 research outputs found

    A Formal Framework for Speedup Learning from Problems and Solutions

    Full text link
    Speedup learning seeks to improve the computational efficiency of problem solving with experience. In this paper, we develop a formal framework for learning efficient problem solving from random problems and their solutions. We apply this framework to two different representations of learned knowledge, namely control rules and macro-operators, and prove theorems that identify sufficient conditions for learning in each representation. Our proofs are constructive in that they are accompanied with learning algorithms. Our framework captures both empirical and explanation-based speedup learning in a unified fashion. We illustrate our framework with implementations in two domains: symbolic integration and Eight Puzzle. This work integrates many strands of experimental and theoretical work in machine learning, including empirical learning of control rules, macro-operator learning, Explanation-Based Learning (EBL), and Probably Approximately Correct (PAC) Learning.Comment: See http://www.jair.org/ for any accompanying file

    An Adaptive Conditional Zero-Forcing Decoder with Full-diversity, Least Complexity and Essentially-ML Performance for STBCs

    Full text link
    A low complexity, essentially-ML decoding technique for the Golden code and the 3 antenna Perfect code was introduced by Sirianunpiboon, Howard and Calderbank. Though no theoretical analysis of the decoder was given, the simulations showed that this decoding technique has almost maximum-likelihood (ML) performance. Inspired by this technique, in this paper we introduce two new low complexity decoders for Space-Time Block Codes (STBCs) - the Adaptive Conditional Zero-Forcing (ACZF) decoder and the ACZF decoder with successive interference cancellation (ACZF-SIC), which include as a special case the decoding technique of Sirianunpiboon et al. We show that both ACZF and ACZF-SIC decoders are capable of achieving full-diversity, and we give sufficient conditions for an STBC to give full-diversity with these decoders. We then show that the Golden code, the 3 and 4 antenna Perfect codes, the 3 antenna Threaded Algebraic Space-Time code and the 4 antenna rate 2 code of Srinath and Rajan are all full-diversity ACZF/ACZF-SIC decodable with complexity strictly less than that of their ML decoders. Simulations show that the proposed decoding method performs identical to ML decoding for all these five codes. These STBCs along with the proposed decoding algorithm outperform all known codes in terms of decoding complexity and error performance for 2,3 and 4 transmit antennas. We further provide a lower bound on the complexity of full-diversity ACZF/ACZF-SIC decoding. All the five codes listed above achieve this lower bound and hence are optimal in terms of minimizing the ACZF/ACZF-SIC decoding complexity. Both ACZF and ACZF-SIC decoders are amenable to sphere decoding implementation.Comment: 11 pages, 4 figures. Corrected a minor typographical erro

    Full-Rate, Full-Diversity, Finite Feedback Space-Time Schemes with Minimum Feedback and Transmission Duration

    Full text link
    In this paper a MIMO quasi static block fading channel with finite N-ary delay-free, noise-free feedback is considered. The transmitter uses a set of N Space-Time Block Codes (STBCs), one corresponding to each of the N possible feedback values, to encode and transmit information. The feedback function used at the receiver and the N component STBCs used at the transmitter together constitute a Finite Feedback Scheme (FFS). Although a number of FFSs are available in the literature that provably achieve full-diversity, there is no known universal criterion to determine whether a given arbitrary FFS achieves full-diversity or not. Further, all known full-diversity FFSs for T<N_t where N_t is the number of transmit antennas, have rate at the most 1. In this paper a universal necessary condition for any FFS to achieve full-diversity is given, using which the notion of Feedback-Transmission duration optimal (FT-Optimal) FFSs - schemes that use minimum amount of feedback N given the transmission duration T, and minimum transmission duration given the amount of feedback to achieve full-diversity - is introduced. When there is no feedback (N=1) an FT-optimal scheme consists of a single STBC with T=N_t, and the universal necessary condition reduces to the well known necessary and sufficient condition for an STBC to achieve full-diversity: every non-zero codeword difference matrix of the STBC must be of rank N_t. Also, a sufficient condition for full-diversity is given for the FFSs in which the component STBC with the largest minimum Euclidean distance is chosen. Using this sufficient condition full-rate (rate N_t) full-diversity FT-Optimal schemes are constructed for all (N_t,T,N) with NT=N_t. These are the first full-rate full-diversity FFSs reported in the literature for T<N_t. Simulation results show that the new schemes have the best error performance among all known FFSs.Comment: 12 pages, 5 figures, 1 tabl

    Asymptotically-Optimal, Fast-Decodable, Full-Diversity STBCs

    Full text link
    For a family/sequence of STBCs C1,C2,\mathcal{C}_1,\mathcal{C}_2,\dots, with increasing number of transmit antennas NiN_i, with rates RiR_i complex symbols per channel use (cspcu), the asymptotic normalized rate is defined as limiRiNi\lim_{i \to \infty}{\frac{R_i}{N_i}}. A family of STBCs is said to be asymptotically-good if the asymptotic normalized rate is non-zero, i.e., when the rate scales as a non-zero fraction of the number of transmit antennas, and the family of STBCs is said to be asymptotically-optimal if the asymptotic normalized rate is 1, which is the maximum possible value. In this paper, we construct a new class of full-diversity STBCs that have the least ML decoding complexity among all known codes for any number of transmit antennas N>1N>1 and rates R>1R>1 cspcu. For a large set of (R,N)\left(R,N\right) pairs, the new codes have lower ML decoding complexity than the codes already available in the literature. Among the new codes, the class of full-rate codes (R=NR=N) are asymptotically-optimal and fast-decodable, and for N>5N>5 have lower ML decoding complexity than all other families of asymptotically-optimal, fast-decodable, full-diversity STBCs available in the literature. The construction of the new STBCs is facilitated by the following further contributions of this paper:(i) For g>1g > 1, we construct gg-group ML-decodable codes with rates greater than one cspcu. These codes are asymptotically-good too. For g>2g>2, these are the first instances of gg-group ML-decodable codes with rates greater than 11 cspcu presented in the literature. (ii) We construct a new class of fast-group-decodable codes for all even number of transmit antennas and rates 1<R5/41 < R \leq 5/4.(iii) Given a design with full-rank linear dispersion matrices, we show that a full-diversity STBC can be constructed from this design by encoding the real symbols independently using only regular PAM constellations.Comment: 16 pages, 3 tables. The title has been changed.The class of asymptotically-good multigroup ML decodable codes has been extended to a broader class of number of antennas. New fast-group-decodable codes and asymptotically-optimal, fast-decodable codes have been include

    Petrology and physical conditions of metamorphism of calcsilicate rocks from low- to high-grade transition area, Dharmapuri District, Tamil Nadu

    Get PDF
    Calc-silicate rocks comprising quartz, plagioclase, diopside, sphene, scapolite, grossularite-andradite and wollastonite occur as lensoid enclaves within the greasy migmatitic and charnockitic gneisses of the Archaean amphibolite- to granulite-facies transition zone in Dharmapuri district, Tamil Nadu. The calc-silicate rocks are characterized by the absence of K-feldspar and primary calcite, presence of large modal quartz and plagioclase and formation of secondary garnet and zoisite rims around scapolite and wollastonite. The mineral distributions suggest compositional layering. The chemical composition and mineralogy of the calc-silicate rocks indicate that they were derived from impure silica-rich calcareous sediments whose composition is similar to that of pelite-limestone mixtures. From the mineral assemblages the temperature, pressure and fluid composition during metamorphism were estimated. The observed mineral reaction sequences require a range of X sub CO2 values demonstrating that an initially CO2-rich metamorphic fluid evolved with time towards considerably more H2O-rich compositions. These variations in fluid composition suggest that there were sources of water-rich fluids external to the calc-silicate rocks and that mixing of these fluids with those of calc-silicate rocks was important in controlling fluid composition in calc-silicate rocks and some adjacent rock types as well
    corecore